Automated reasoning with analytic tableaux and related methods - International Conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings
- Författare
- Niel V. Murray International Conference on Analytic Tableaux and Related Methods 1999) (Saratoga Springs :
- (Niel V. Murray (ed.).)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 1999 | Tyskland, Berlin | 323 sidor. ill. |